121. New computational paradigms
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computable functions ; Congresses. ;
122. New computational paradigms
Author: / S. Barry Cooper, Benedikt Leowe, Andrea Sorbi, editors
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computable functions.
Classification :
QA
,
9
.
59
,.
N495
,
2008
123. New computational paradigms : First Conference on Computability in Europe, CIE 2005, Amsterdam, The Netherlands, June 8-12, 2005 : proceedings
Author: S. Barry Cooper, Benedikt Loewe, Leen Torenvliet )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computable functions
Classification :
QA
76
.
L28
Vol
.
3526
124. New computational paradigms: changing conceptions of what is computable
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computable functions
Classification :
QA
9
.
59
.
N495
2008
125. New computational paradigms : changing conceptions of what is computable
Author: S. Barry Cooper, Benedikt Lowe, Andrea Sorbi, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions
Classification :
QA
9
.
59
.
N492
126. #Non-classical logics, model theory, and computability
Author: #edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Nonclassical mathematical logic -- Congresses ،Model theory -- Congresses ،Computable functions -- Congresses
Classification :
#
QA
،#.
L37
،#
1976
127. Non-classical logics, model theory, and computability
Author: / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. -
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Nonclassical mathematical logic--Congresses,Model theory--Congresses,Computable functions--Congresses
Classification :
QA
,
9
.
4
,.
L37
,
1976
QA
,
9
.
4
,
L37
,
1976
128. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Author: edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Nonclassical mathematical logic,Congresses ، Model theory,Congresses ، Computable functions
Classification :
QA
9
.
7
.
L3
129. Ordinal Computability :
Author: Merlin Carl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions.,Computable functions.,MATHEMATICS-- Logic.
Classification :
QA9
.
59
.
C37
2019
130. Philosophical explorations of the legacy of Alan Turing : Turing 100
Author: Juliet Floyd, Alisa Bokulich, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Turing, Alan Mathison, 2191-4591,، Mathematics -- Philosophy,، Computable functions,، Cryptography,، Enigma cipher system
Classification :
QA
29
.
T8P46
131. Proceedings of the ... Annual ACM Symposium on Theory of Computing
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Computable functions,Congresses ، Computational complexity
Classification :
QA
267
.
A27a
2002
132. Recursion on the countable functionals
Author: Normann, Dag
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Recursion theory,، Computable functions,، Functionals
Classification :
QA
9
.
6
.
N6
1980
133. Recursion on the countable functionals
Author: Normann, Dag
Library: Central Library and Documentation Center (Kerman)
Subject: ، Recursion theory,، Computable functions,، Functionals
Classification :
QA
1
.
L4
v
.
811
134. Recursion on the countable functionals
Author: Normann, Dag
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursion theory,، Computable functions,، Functionals
Classification :
QA
3
.
L28
no
.
811
135. Recursion on the countable functionals
Author: Normann, Dag
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Recursion theory,، Computable functions
Classification :
QA
3
.
L28
no
.
811
136. Recursion on the countable functionals
Author: Normann, Day, 7491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory,، Computable functions,، Functionals
Classification :
QA
3
.
L28
Vol
.
811
137. #Recursively enumerable sets and degrees
Author: #Robert I. Soare
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Recursive functions ،Computable functions
Classification :
#
QA
،#.
S63
138. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
Author: Soare, Robert Irving
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursive functions,، Computable functions
Classification :
QA
9
.
615
.
S63
1987
139. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
Author: Robert I. Soare,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Recursive functions,Computable functions
Classification :
QA
.
S63
9
.
615
1987
140. Recursively enumerable sets and degrees :astudy of computable functions and computably generated sets
Author: Soare, Robert Irving
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Recursion functions,، Computable functions
Classification :
QA
9
.
615
.
S63
1987
